Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
41	CogSketch: Open-domain sketch understanding for cognitive science research and for education Add to Reading List Source URL: silccenter.org Language: English - Date: 2010-05-15 14:26:28 Reasoning Cognitive science Infographics Educational psychology Qualitative Reasoning Group Analogy Spatialtemporal reasoning Spatial intelligence Cyc Glyph Qualitative reasoning System
42	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation
43	Spatial Concepts and Spatial Reasoning in the Social Sciences Donald G Janelle spatial@ucsb University of California, Santa Barbara Add to Reading List Source URL: ncgia.ucsb.edu Language: English - Date: 2015-10-21 13:07:50 Geographic data and information Geography Cartography Geostatistics Spatial analysis Geographic information system Spatial intelligence Spatial memory Location intelligence Spatial cognition Field Spatial ecology
44	Microsoft Word - IBSDM&BI.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:33 Artificial intelligence Decision theory Reasoning Information systems Knowledge engineering Intelligent decision support system Case-based reasoning Decision support system Reasoning system Informatics Ambient intelligence IDS
45	Microsoft Word - IBSDM&BI.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:34 Constraint programming Inductive reasoning Reasoning Artificial intelligence Case-based reasoning Critical thinking Constraint satisfaction problem Reasoning system Constraint satisfaction Mathematical optimization Intelligent decision support system Search algorithm
46	Stream Reasoning using Temporal Logic for Autonomous System Fredrik Heintz Add to Reading List Source URL: www.vcla.at Language: English
47	TMRF e-Book Advanced Knowledge Based Systems: Model, Applications & Research (Eds. Sajja & Akerkar), Vol. 1, pp 1 – 11, 2010 Chapter 1 Add to Reading List Source URL: www.tmrfindia.org Language: English - Date: 2010-01-23 16:34:00 Artificial intelligence Knowledge Knowledge engineering Information systems Information Technology Technical communication Decision support systems Expert system Knowledge-based systems Knowledge Acquisition and Documentation Structuring Knowledge representation and reasoning
48	Microsoft Word - coverpage1.doc Add to Reading List Source URL: www.tmrfindia.org Language: English - Date: 2010-02-17 03:57:24 Cybernetics Genetic algorithm Mathematical optimization Knowledge economy Knowledge representation and reasoning Intelligent tutoring system Knowledge
49	TMRF e-Book Advanced Knowledge Based Systems: Model, Applications & Research (Eds. Sajja & Akerkar), Vol. 1, pp 50 – 73, 2010 Chapter 4 Add to Reading List Source URL: www.tmrfindia.org Language: English - Date: 2010-01-28 06:19:43 Artificial intelligence Expert system Knowledge engineering Model-based reasoning Knowledge-based systems Knowledge acquisition Diagnosis Knowledge representation and reasoning Knowledge base Fault detection and isolation Systems engineering Reasoning system
50	Reasoning about the POSIX File System Local Update and Global Pathnames Gian Ntzik Philippa Gardner Add to Reading List Source URL: psvg.doc.ic.ac.uk Language: English - Date: 2016-04-11 08:00:52